hans carl friedrich von mangoldt meaning in French

hans carl friedrich von mangoldt

In 1895, Hans Carl Friedrich von Mangoldt proved an explicit expression for ψ(x) as a sum over the nontrivial zeros of the Riemann zeta function: ψ 0 ( x ) = x − ∑ ρ x ρ ρ − ζ ′ ( 0 ) ζ ( 0 ) − 1 2 log ⁡ ( 1 − x − 2 ) . {\displaystyle \psi _{0}(x)=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-{\frac {\zeta '(0)}{\zeta (0)}}-{\tfrac {1}{2}}\log(1-x^{-2}).} (The numerical value of ζ′(0)/ζ(0) is log(2π).)
En 1895, Hans Carl Friedrich von Mangoldt a prouvé une expression explicite pour ψ(x) comme une somme sur les zéros non triviaux de la fonction zeta de Riemann : ψ 0 ( x ) = x − ∑ ρ x ρ ρ − ζ ′ ( 0 ) ζ ( 0 ) − 1 2 ln ⁡ ( 1 − x − 2 ) .